calcul des prédicats中文是什么意思

• 一阶逻辑

• "calcul"中文翻译    音标：[kalkyl] n.m.
• "des"中文翻译    音标：[dε] art.
• "calcul des séquents" 中文翻译 :    相继式演算
• "partition précalculée" 中文翻译 :    预计算分区
• "calculé" 中文翻译 :    动词变位提示：calculé是calculer的变位形式calculéadj.计算的
• "calcul des constructions" 中文翻译 :    构造演算
• "calcul des propositions" 中文翻译 :    命题逻辑
• "calcul des variations" 中文翻译 :    变分法
• "télécalcul" 中文翻译 :    télécalculm.运程计算
• "calcul différentiel" 中文翻译 :    微分
• "calcul distribué" 中文翻译 :    calcul distribué; 分布式计算
• "calcul infinitésimal" 中文翻译 :    微积分学
• "calcul rénal" 中文翻译 :    肾结石
• "calcul réversible" 中文翻译 :    可逆计算
• "calculé selon" 中文翻译 :    折合标定
• "calculée" 中文翻译 :    商讨
• "champ calculé" 中文翻译 :    計算欄位
• "réunion régionale des directeurs de centres de calcul des etats arabes" 中文翻译 :    阿拉伯国家计算机中心主任区域会议
• "calcul des travaux en cours" 中文翻译 :    wip 计算
• "bruant des prés" 中文翻译 :    稀树草鹀
• "chaux-des-prés" 中文翻译 :    绍代普雷
• "germigny-des-prés" 中文翻译 :    热尔米尼代普雷
• "gesse des prés" 中文翻译 :    牧地山黧豆
• "goglu des prés" 中文翻译 :    食米鸟
• "josquin des prés" 中文翻译 :    若斯坎·德普雷

• Le calcul des constructions étend cet isomorphisme aux preuves dans le calcul des prédicats intuitionniste dans son ensemble, ce qui inclut par conséquent des preuves de formules quantifiées (que l'on appellera également « propositions »).
  构造演算扩展了这个同构为在完全的直觉谓词逻辑中的证明，这包括了量化陈述（它也叫做"命题"）的证明。